complete field of sets

集的完全域